Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
361	Generalized Sparselets Computational Cost Analysis (Supplementary Material) Ross Girshick Hyun Oh Song Trevor Darrell Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-01 18:04:34 Function FO Median graph Combinatory logic Mathematics Theoretical computer science Mathematical logic
362	Jonathan Weisberg Department of Philosophy 170 St. George Street, Rm. 516 Toronto, ON M5R 2M8, Canada [removed] Add to Reading List Source URL: www.utm.utoronto.ca Language: English - Date: 2014-04-02 14:25:57 Ethology Formal epistemology Journal of Philosophical Logic Defeasible reasoning Philosophy of science Computational epistemology John L. Pollock Epistemology Science Knowledge
363	Quantification over events in probability logic and its applications to elementary analysis Stanislav O. Speranski Probably the most popular formal language in the philosophy of mathematics is that of the second order ar Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-07 12:35:07 Metalogic Computational complexity theory Proof theory Descriptive complexity Finite model theory Quantification Model theory Decidability Well-formed formula Logic Theoretical computer science Mathematical logic
364	1 Robust Simulations* Ryan Muldoon†‡ † Add to Reading List Source URL: www.sas.upenn.edu Language: English - Date: 2008-01-29 18:39:26 Computational science Electronic design automation Computer simulation Virtual reality Simulation Knowledge Logic simulation Agent-based model Simulated reality Scientific modeling Science Electronic engineering
365	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory
366	Details on discrimination algorithm for IUPAC model Geir Kjetil Sandve, Osman Abul, Vegard Walseng and Finn Drabløs The search space of IUPAC motifs is explored depth-first in a (implicit) search tree where each level o Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Computational complexity theory Algorithm Mathematical logic Reduction P String Theoretical computer science Applied mathematics Mathematics
367	A Computational Logic This is a volume in the ACM MONOGRAPH SERIES Editor: THOMAS A. STANDISH, University of California at Irvine Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2007-12-17 11:07:14 Mathematical logic Problem solving Epistemology Logic in computer science Rewriting Theorem Type theory Heuristic Tau Logic Mathematics Science
368	Large Limits to Software Estimation ACM Software Engineering Notes Vol 26, No. 4 July 2001 p[removed] Add to Reading List Source URL: scribblethink.org Language: English - Date: 2008-03-24 23:35:11 Software metrics Mathematical logic Software project management Computational complexity theory Kolmogorov complexity Complexity Software development effort estimation Algorithm Software engineering Theoretical computer science Mathematics Science
369	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
370	Combining Logic-Based and Corpus-Based Methods for Resolving Translation Mismatches Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 04:18:08 Computational linguistics Lexical semantics Grammar Natural language processing Word-sense disambiguation Parsing Machine translation Language Word sense Linguistics Science Semantics

UPDATE